{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":618015389,"defaultBranch":"main","name":"smt-string-bench-results","ownerLogin":"VeriFIT","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2023-03-23T15:22:07.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/13378354?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1679598093.0","currentOid":""},"activityList":{"items":[{"before":"59ffd06aab84002b35f05a111b82ddb8440a2d90","after":"e48c2487a8fe5d65461d31ea30f0834e883cf803","ref":"refs/heads/main","pushedAt":"2024-09-11T21:36:37.000Z","pushType":"push","commitsCount":77,"pusher":{"login":"jurajsic","name":"Juraj Síč","path":"/jurajsic","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32640706?s=80&v=4"},"commit":{"message":"Merge branch 'main' of github.com:VeriFIT/smt-string-bench-results","shortMessageHtmlLink":"Merge branch 'main' of github.com:VeriFIT/smt-string-bench-results"}},{"before":"edd23db8b06e5ca5bcf22576e06fd31ef15bf254","after":"59ffd06aab84002b35f05a111b82ddb8440a2d90","ref":"refs/heads/main","pushedAt":"2024-09-11T18:59:21.000Z","pushType":"push","commitsCount":20,"pusher":{"login":"vhavlena","name":"Vojtěch Havlena","path":"/vhavlena","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/19686307?s=80&v=4"},"commit":{"message":"list of tools: update","shortMessageHtmlLink":"list of tools: update"}},{"before":"46da5d0af13ed5bdf03b7025dc2ccdae01f82544","after":"edd23db8b06e5ca5bcf22576e06fd31ef15bf254","ref":"refs/heads/main","pushedAt":"2024-09-11T15:28:54.000Z","pushType":"push","commitsCount":20,"pusher":{"login":"vhavlena","name":"Vojtěch Havlena","path":"/vhavlena","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/19686307?s=80&v=4"},"commit":{"message":"Merge branch 'main' of github.com:VeriFIT/smt-string-bench-results","shortMessageHtmlLink":"Merge branch 'main' of github.com:VeriFIT/smt-string-bench-results"}},{"before":"e0e2c8ffd2a0d6ecde1538c3f7ff9561729646f8","after":"46da5d0af13ed5bdf03b7025dc2ccdae01f82544","ref":"refs/heads/main","pushedAt":"2024-09-10T05:10:12.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jurajsic","name":"Juraj Síč","path":"/jurajsic","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32640706?s=80&v=4"},"commit":{"message":"list","shortMessageHtmlLink":"list"}},{"before":"b4cf19feef3db3f7c6629cd4b7dad1e484701db8","after":"e0e2c8ffd2a0d6ecde1538c3f7ff9561729646f8","ref":"refs/heads/main","pushedAt":"2024-09-10T05:00:31.000Z","pushType":"push","commitsCount":59,"pusher":{"login":"jurajsic","name":"Juraj Síč","path":"/jurajsic","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32640706?s=80&v=4"},"commit":{"message":"z3-noodler-stats-5249443-17ffaf6 on norn","shortMessageHtmlLink":"z3-noodler-stats-5249443-17ffaf6 on norn"}},{"before":"130d123eadc84d6e9d6b13317b2ba879f3b3e155","after":"b4cf19feef3db3f7c6629cd4b7dad1e484701db8","ref":"refs/heads/main","pushedAt":"2024-09-08T17:05:16.000Z","pushType":"push","commitsCount":16,"pusher":{"login":"jurajsic","name":"Juraj Síč","path":"/jurajsic","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32640706?s=80&v=4"},"commit":{"message":"list","shortMessageHtmlLink":"list"}},{"before":"ca42a7c00cb26e4f6f8d1c0ca07b545299a93712","after":"130d123eadc84d6e9d6b13317b2ba879f3b3e155","ref":"refs/heads/main","pushedAt":"2024-09-07T23:33:33.000Z","pushType":"push","commitsCount":92,"pusher":{"login":"jurajsic","name":"Juraj Síč","path":"/jurajsic","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32640706?s=80&v=4"},"commit":{"message":"list","shortMessageHtmlLink":"list"}},{"before":"026fd03f49831b1df8d5fb8022cb8c21beff38d4","after":"ca42a7c00cb26e4f6f8d1c0ca07b545299a93712","ref":"refs/heads/main","pushedAt":"2024-09-07T08:08:11.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jurajsic","name":"Juraj Síč","path":"/jurajsic","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32640706?s=80&v=4"},"commit":{"message":"eval","shortMessageHtmlLink":"eval"}},{"before":"1ae50f8090aceb0b3af59489fe5946023d4839aa","after":"026fd03f49831b1df8d5fb8022cb8c21beff38d4","ref":"refs/heads/main","pushedAt":"2024-09-07T08:06:23.000Z","pushType":"push","commitsCount":56,"pusher":{"login":"jurajsic","name":"Juraj Síč","path":"/jurajsic","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32640706?s=80&v=4"},"commit":{"message":"list","shortMessageHtmlLink":"list"}},{"before":"0d56e9dda92956ec5606b58dc942ee2845f98fb0","after":"1ae50f8090aceb0b3af59489fe5946023d4839aa","ref":"refs/heads/main","pushedAt":"2024-09-05T10:46:18.000Z","pushType":"push","commitsCount":39,"pusher":{"login":"jurajsic","name":"Juraj Síč","path":"/jurajsic","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32640706?s=80&v=4"},"commit":{"message":"list","shortMessageHtmlLink":"list"}},{"before":"3790aecec31ddeb6179cf6a102b1b7ded9573eff","after":"0d56e9dda92956ec5606b58dc942ee2845f98fb0","ref":"refs/heads/main","pushedAt":"2024-09-04T07:45:24.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jurajsic","name":"Juraj Síč","path":"/jurajsic","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32640706?s=80&v=4"},"commit":{"message":"eval","shortMessageHtmlLink":"eval"}},{"before":"d6c45bc3ace6e59ee4d4b4577bb0200db47614dd","after":"3790aecec31ddeb6179cf6a102b1b7ded9573eff","ref":"refs/heads/main","pushedAt":"2024-09-03T07:09:03.000Z","pushType":"push","commitsCount":58,"pusher":{"login":"jurajsic","name":"Juraj Síč","path":"/jurajsic","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32640706?s=80&v=4"},"commit":{"message":"list","shortMessageHtmlLink":"list"}},{"before":"10ace723c7ec4658833f43fa6b546291e74d3bcb","after":"d6c45bc3ace6e59ee4d4b4577bb0200db47614dd","ref":"refs/heads/main","pushedAt":"2024-09-01T18:18:43.000Z","pushType":"push","commitsCount":5,"pusher":{"login":"jurajsic","name":"Juraj Síč","path":"/jurajsic","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32640706?s=80&v=4"},"commit":{"message":"list","shortMessageHtmlLink":"list"}},{"before":"0903bea17dd1d31f5461dca988affa36a4df940a","after":"10ace723c7ec4658833f43fa6b546291e74d3bcb","ref":"refs/heads/main","pushedAt":"2024-09-01T11:35:56.000Z","pushType":"push","commitsCount":4,"pusher":{"login":"jurajsic","name":"Juraj Síč","path":"/jurajsic","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32640706?s=80&v=4"},"commit":{"message":"Merge branch 'main' of github.com:VeriFIT/smt-string-bench-results","shortMessageHtmlLink":"Merge branch 'main' of github.com:VeriFIT/smt-string-bench-results"}},{"before":"e430a0208e47ba983f0514a5fa2b642c3fbb3a8b","after":"0903bea17dd1d31f5461dca988affa36a4df940a","ref":"refs/heads/main","pushedAt":"2024-08-16T09:46:29.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"vhavlena","name":"Vojtěch Havlena","path":"/vhavlena","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/19686307?s=80&v=4"},"commit":{"message":"list of tools: update","shortMessageHtmlLink":"list of tools: update"}},{"before":"d17e3b7890fa3a15b662f0220f7f81f06292289c","after":"e430a0208e47ba983f0514a5fa2b642c3fbb3a8b","ref":"refs/heads/main","pushedAt":"2024-08-16T09:36:05.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"vhavlena","name":"Vojtěch Havlena","path":"/vhavlena","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/19686307?s=80&v=4"},"commit":{"message":"check-model-321a050-2756940 on kaluza","shortMessageHtmlLink":"check-model-321a050-2756940 on kaluza"}},{"before":"43adeb9b15412f932502793aeb4184c4b2dde896","after":"d17e3b7890fa3a15b662f0220f7f81f06292289c","ref":"refs/heads/main","pushedAt":"2024-08-16T09:10:47.000Z","pushType":"push","commitsCount":19,"pusher":{"login":"vhavlena","name":"Vojtěch Havlena","path":"/vhavlena","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/19686307?s=80&v=4"},"commit":{"message":"z3-noodler-length-ab1b074-2756940 on snia","shortMessageHtmlLink":"z3-noodler-length-ab1b074-2756940 on snia"}},{"before":"ddade09c36b4e9ccec30db9af83a2a06ac00b046","after":"43adeb9b15412f932502793aeb4184c4b2dde896","ref":"refs/heads/main","pushedAt":"2024-08-15T18:28:39.000Z","pushType":"push","commitsCount":12,"pusher":{"login":"vhavlena","name":"Vojtěch Havlena","path":"/vhavlena","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/19686307?s=80&v=4"},"commit":{"message":"check-model-ab1b074-2756940 on kaluza","shortMessageHtmlLink":"check-model-ab1b074-2756940 on kaluza"}},{"before":"92b90898a80233efdcae90e5a6c8535d015bacad","after":"ddade09c36b4e9ccec30db9af83a2a06ac00b046","ref":"refs/heads/main","pushedAt":"2024-08-14T12:18:31.000Z","pushType":"push","commitsCount":16,"pusher":{"login":"vhavlena","name":"Vojtěch Havlena","path":"/vhavlena","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/19686307?s=80&v=4"},"commit":{"message":"check-model-bf2104b-2756940 on kaluza","shortMessageHtmlLink":"check-model-bf2104b-2756940 on kaluza"}},{"before":"346a98fef6570d728a832ad3863ddd41da9bf550","after":"92b90898a80233efdcae90e5a6c8535d015bacad","ref":"refs/heads/main","pushedAt":"2024-08-11T15:36:53.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jurajsic","name":"Juraj Síč","path":"/jurajsic","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32640706?s=80&v=4"},"commit":{"message":"update list","shortMessageHtmlLink":"update list"}},{"before":"b84b13fa46b6682647a646086d52e136db47d3ab","after":"346a98fef6570d728a832ad3863ddd41da9bf550","ref":"refs/heads/main","pushedAt":"2024-08-11T15:36:41.000Z","pushType":"push","commitsCount":11,"pusher":{"login":"jurajsic","name":"Juraj Síč","path":"/jurajsic","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32640706?s=80&v=4"},"commit":{"message":"check-model-ab88926-2756940 on kepler","shortMessageHtmlLink":"check-model-ab88926-2756940 on kepler"}},{"before":"922181bc3330c4b632dabbde450313e5174db692","after":"b84b13fa46b6682647a646086d52e136db47d3ab","ref":"refs/heads/main","pushedAt":"2024-08-11T13:14:23.000Z","pushType":"push","commitsCount":83,"pusher":{"login":"jurajsic","name":"Juraj Síč","path":"/jurajsic","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32640706?s=80&v=4"},"commit":{"message":"check-model-ab88926-2756940 on automatark","shortMessageHtmlLink":"check-model-ab88926-2756940 on automatark"}},{"before":"fd4b2211477b4411ae31a7b693016d2eb5f80304","after":"922181bc3330c4b632dabbde450313e5174db692","ref":"refs/heads/main","pushedAt":"2024-08-10T21:59:22.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"jurajsic","name":"Juraj Síč","path":"/jurajsic","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32640706?s=80&v=4"},"commit":{"message":"check-model-022e30c-2756940 on pyex","shortMessageHtmlLink":"check-model-022e30c-2756940 on pyex"}},{"before":"5ead8d292bb07f3ad425b147a69d6d67cda4c5be","after":"fd4b2211477b4411ae31a7b693016d2eb5f80304","ref":"refs/heads/main","pushedAt":"2024-08-10T20:45:09.000Z","pushType":"push","commitsCount":77,"pusher":{"login":"jurajsic","name":"Juraj Síč","path":"/jurajsic","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32640706?s=80&v=4"},"commit":{"message":"z3-noodler-model-216f6c5-2756940 on redos","shortMessageHtmlLink":"z3-noodler-model-216f6c5-2756940 on redos"}},{"before":"bb798e98158b8a140c704a2e7448fb97c0d94776","after":"5ead8d292bb07f3ad425b147a69d6d67cda4c5be","ref":"refs/heads/main","pushedAt":"2024-08-09T08:59:02.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jurajsic","name":"Juraj Síč","path":"/jurajsic","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32640706?s=80&v=4"},"commit":{"message":"eval","shortMessageHtmlLink":"eval"}},{"before":"7b4541281ff150871e29d19c8b86266fb2e67032","after":"bb798e98158b8a140c704a2e7448fb97c0d94776","ref":"refs/heads/main","pushedAt":"2024-08-09T08:58:43.000Z","pushType":"push","commitsCount":55,"pusher":{"login":"jurajsic","name":"Juraj Síč","path":"/jurajsic","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32640706?s=80&v=4"},"commit":{"message":"Merge branch 'main' of github.com:VeriFIT/smt-string-bench-results","shortMessageHtmlLink":"Merge branch 'main' of github.com:VeriFIT/smt-string-bench-results"}},{"before":"3df09653391534f9a3a5c4fc4f7e847816803c2e","after":"7b4541281ff150871e29d19c8b86266fb2e67032","ref":"refs/heads/main","pushedAt":"2024-08-09T08:49:48.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"vhavlena","name":"Vojtěch Havlena","path":"/vhavlena","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/19686307?s=80&v=4"},"commit":{"message":"list of tools: update","shortMessageHtmlLink":"list of tools: update"}},{"before":"066aa49416288f57084d95a22cf97bd3f15504c6","after":"3df09653391534f9a3a5c4fc4f7e847816803c2e","ref":"refs/heads/main","pushedAt":"2024-08-07T23:36:42.000Z","pushType":"push","commitsCount":54,"pusher":{"login":"jurajsic","name":"Juraj Síč","path":"/jurajsic","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32640706?s=80&v=4"},"commit":{"message":"list + eval","shortMessageHtmlLink":"list + eval"}},{"before":"3adafbc27a4ca29bb0c2bff5dc9a16cb4bfc51ff","after":"066aa49416288f57084d95a22cf97bd3f15504c6","ref":"refs/heads/main","pushedAt":"2024-08-07T13:12:11.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jurajsic","name":"Juraj Síč","path":"/jurajsic","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32640706?s=80&v=4"},"commit":{"message":"list","shortMessageHtmlLink":"list"}},{"before":"34ce930ed329e7bd435a6069d02ec90808267a54","after":"3adafbc27a4ca29bb0c2bff5dc9a16cb4bfc51ff","ref":"refs/heads/main","pushedAt":"2024-08-07T13:10:15.000Z","pushType":"push","commitsCount":104,"pusher":{"login":"jurajsic","name":"Juraj Síč","path":"/jurajsic","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32640706?s=80&v=4"},"commit":{"message":"z3-noodler-86a65bd-2756940 on snia","shortMessageHtmlLink":"z3-noodler-86a65bd-2756940 on snia"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEs7FKPwA","startCursor":null,"endCursor":null}},"title":"Activity · VeriFIT/smt-string-bench-results"}